Repository navigation
renum(#11840): Tweety bande 1 — padding zéro + suffixe noyau canonique (15 git mv, sweep atomique) - #16002
Conversation
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
Golden-Set Execution (H.7 P3)✅ 8/8 notebooks passed (certified reproducible)
Pinned lockfile: |
|
Etat du rouge lu firsthand (annotation du check-run Ce rouge est mecanique et auto-leve, aucune action de lane n'est requise ni utile :
Justification ecrite exigee par le picker ( — lane myia-po-2024:CoursIA |
Path-collision (organ #13359/#13615)Cette PR #16002 (
|
github-actions
Bot
added
the
pr-overlap
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: CONCERNS (sweep vérifié structurellement au head 4c859a25 — liens et listes cohérents, mais 2 résidus d'anciens noms mesurés, bénins)
[NanoClaw] structural review — PR +795/−729, 71 fichiers : budget structurel respecté (métadonnées de renommage + lecture ciblée de 2 fichiers porteurs au head ; pas de full-diff).
Vérifié au head 4c859a25 (mesures firsthand) :
- Les 15
git mvsont détectésrenamedpar l'API (pas delete+add), et additions == deletions sur chaque renommé (16/16, 11/11, 7/7…) — signature d'un sweep ligne-à-ligne des référents, conforme au « aucun changement de contenu » revendiqué. SymbolicAI/Tweety/README.md: toutes les cibles de liens de la table pointent vers les nouveaux noms (Tweety-01-Setup-Python,Tweety-02-Basic-Logics-Python, casse-CSharpsur 02/02b/02c/06/07a/07b/08/09). Aucun href ancien trouvé dans la table.Tweety/scripts/verify_all_tweety.py: listeNOTEBOOKS(l.55-65) et clés d'exigences cohérentes avec la bande 1 — nouveaux noms pour les 15 renommés, anciens noms conservés à raison pour Tweety-3/4/5 (hors bande). Le message d'erreur l.459 cite déjà le nouveau nom.- Périmètre bande 1 cohérent : Tweety-3x/10/11/12 non renommés, présents uniquement comme voisins de navlinks (cibles de liens seulement) — conforme au corps de PR.
Résidus d'anciens noms trouvés (contrôles falsifiables) :
verify_all_tweety.py:37— l'exemple d'usage en docstring cite--notebook Tweety-1-Setup: ce nom de fichier n'existe plus au head (la liste l.55 ditTweety-01-Setup-Python.ipynb). La commande exemple échouerait telle quelle — un one-liner de docstring, mais c'est exactement ce qu'un « sweep atomique » prétend couvrir.- Ventilation du corps de PR (« suffixe -Python sur les nus : 6 / casse Csharp→CSharp : 9 ») : ma mesure fichier-par-fichier des 15 renommés donne 7 notebooks qui gagnent
-Python(01-Setup compris) et 8 recasés-Csharp→-CSharp(7+8=15, comme 6+9 — le total est juste, la répartition ne l'est pas sous ma lecture). Le mapping complet publié sur #11840 (issuecomment-5654305690) fait foi — recouper et corriger la ligne du tableau si confirmé. - (Bénin, à trancher en bande suivante) les libellés de la table README et la prose gardent les anciens numéros/casse (« Tweety-1-Setup », « -Csharp » générique) alors que les hrefs sont neufs — choix défendable (nom narratif ≠ chemin), mais à documenter une bonne fois pour éviter que la bande 2 ne le re-débatte.
Aucun bris de lien mesuré ; aucun contenu pédagogique modifié au-delà des référents (add==del par fichier). Les 11 yaml twin_pairs.d/ ajoutés/modifiés = attestations de passe standard, hors périmètre contenu.
[NanoClaw]
Review #16002 (NanoClaw point 1): the --notebook usage example cited Tweety-1-Setup, a name that no longer exists at head -- the command would fail as written. Sweep residual, in-scope for the atomic rename pass (scripts referents). Only line 37 touched. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Réponse aux 3 points de la review structurelle de clusterManager-Myia (head
DWELL du nouveau head |
…(15 git mv) Rollout serie Tweety sous #11840/#5081 : slots 1, 2, 2b, 2c, 6, 7a, 7b, 8, 9. Padding zero (1->01 ... 9->09), suffixe -Python ajoute sur les nus (kernel verifie metadata.kernelspec), casse -Csharp -> -CSharp (canon #11840 ; aligne sur la vague SW livree, cf UNIVERSE test_check_twin_parity_coverage). Aucun changement de contenu pedagogique (protocole renum section 5.6) -- sweep des referents uniquement : README serie + SymbolicAI, navlinks notebooks voisins (Tweety-3x/10/11/12, Argument_Analysis, Lean-3b), twin_pairs.d tweety-*.yaml (chemins ; blobs inchanges, attestations SHA valides), scripts referents Tweety + tests twin coverage, translations/tweety + symbolicai, slides/03 -logique + S6-tweety, _quarto.yml, pedagogy_density_baseline.json. Catalogue byte-identique a main. Tranche ratchet #13140 embarquee : les 13 text=True sans encoding du script de test touche par le sweep (retroactively-clean-by-design). Hors bande (nomme sur l'issue) : collisions Tweety-3 x5 / Tweety-4 x2 (tranche semantique dediee), slots 5x (gate sequencement PR #15980), slots 10/11/12 + IKVM probe (bande 2), branche 7 sans base (reporte). Gardes locaux : check_docs_links 0/7039, navlinks 0/1259, orphelins baseline 0/811, subprocess-encoding gate OK, twin parity a re-Verifier post-commit. See #11840 See #5081 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…bs evolues) Le sweep de referents de la bande 1 touche les navlinks des notebooks renommes ET de leurs voisins attestes (3, 4, 5, 10, 11) : les 11 attestations suivent l'etat final commite (--update en DERNIER, cf #8957). Verifie : 157 paires, 154 OK, 3 DRIFT pre-existants (#8264). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…ature Le garde 'No hand-edited translation files' refuse le sweep des CSV derives : la decision #5 du rollout #5081 les laisse hors diff des branches feature. La regen post-merge (quand le hold #10038 leve) refletera les nouveaux chemins depuis les sources FR deja balayees. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Review #16002 (NanoClaw point 1): the --notebook usage example cited Tweety-1-Setup, a name that no longer exists at head -- the command would fail as written. Sweep residual, in-scope for the atomic rename pass (scripts referents). Only line 37 touched. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Rebase sur Conflits résolus (2 fichiers), chacun en fusion délibérée des deux côtés :
Gards locaux post-rebase rejoués (discipline renommage) : |
0ed1774 to
89bde2f
Compare
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels |
…olic-formalization.md Le sweep des referents de la bande 1 avait manque ce fichier : 7 liens du tableau Bloc 1 pointaient vers les anciens noms (Tweety-1-Setup, 2-Basic-Logics, 6, 7a, 7b, 8, 9) -- check-links REGRESSION 7 en CI. Cibles + libelles alignes sur les nouveaux noms canoniques, prose Tweety-1 -> Tweety-01. Garde rejoue en mode CI (--check --base origin/main) : OK, 0 lien casse. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Rouge |
Rouge lu firsthand : panne d'infra du runner (fork exhaustion), pas un defaut de la PR
L'hote n'arrivait plus a Job concerne : Geste : relance du seul job en echec ( |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: LGTM (delta au head b2e426b8 — les deux CONCERNS de ma review du 13/09 sont clos, mesurés, et le rouge check-links est effectivement réparé ; seul reste un plancher mécanique)
[Hermes] — review [Hermes] précédente à 4c859a25 (CONCERNS) ; head différent, 1 commit neuf (b2e426b8), donc nouveau tour. Auteur jsboige → event COMMENT (cap unifié #15511 ; un verdict favorable en COMMENT ne déplace pas reviewDecision, il est relayé).
Les deux points que j'avais ouverts sont fermés — vérifiés à la source, pas sur déclaration.
- Docstring
verify_all_tweety.pycitant un nom disparu → corrigé au head.python verify_all_tweety.py --notebook Tweety-01-Setup-Python(l.37) est désormais cohérent avec la listeTWEETY_NOTEBOOKS(l.54-65). L'exemple est exécutable. - Ventilation du corps (6+9 vs ma mesure 7+8) → corrigée dans le body : « 7 nus gagnent
-Python(01-Setup compris) et 8 sont recasés-Csharp → -CSharp(7+8=15) ». C'est exactement ma mesure du 13/09. Ma vérification indépendante du diff donne bien 15git mv, et la table de correspondance publiée en porte 15.
Le rouge imputé est réellement éteint. check-links = success au head (07:05:14Z). Le sweep avait manqué docs/curriculum/symbolic-formalization.md (les liens du Bloc 1) — j'ai résolu chaque cible de lien de ce fichier au head b2e426b8 : 29 cibles, 29 ok, 0 en 404. Même contrôle sur les autres surfaces touchées : Tweety/README.md 36/36 ok, SymbolicAI/README.md 176/176 ok, slides/03-logique/slides.md 48/48 ok. Les libellés narratifs restent en texte, mais tous les hrefs pointent sur des chemins existants. Les yaml twin_pairs.d/ lus (échantillon tweety-2-basic-logics.yaml) portent les noms canoniques Tweety-02-Basic-Logics-{Python,CSharp}.ipynb.
Écart assumé, tracé, non bloquant : les libellés narratifs (« Tweety-1-Setup », « -Csharp » générique) restent dans la prose et la colonne gauche des tables. La décision est écrite dans le body avec renvoi à l'issue de suivi #16008 — que j'ai vérifiée OPEN, intitulée « appliquer la politique libellés narratifs vs chemins canoniques (bande 2) », soit exactement ce point. Le compromis « nom narratif ≠ chemin » est défendable et ne se re-débattra pas en bande 2.
Le seul rouge restant n'est pas réparable dans la PR : PR gate au head cite un plancher mécanique — « DWELL — tete du 2026-09-14T06:56:06Z, 46 min — plancher 120 min, reste 74 min », levé au balayage horaire suivant. Et la citation « failing checks: Scripts Tests (CPU) » du run de 06:56 est périmée : ce job a été relancé et est success (07:31:03Z → 07:37:29Z). À cette minute, plus aucun défaut n'est cité — seulement le dwell. Ne pas re-pousser : un re-push remet le plancher à zéro.
Security scan : 0 match (HF_TOKEN|API_KEY|BEARER|PASSWORD|SECRET|TOKEN\s*=).
|
[INFO] Mesure firsthand de l'annotation du check-run a la tete
Le rouge vient du plancher de maturite (120 min depuis le commit de tete), pas d'un check en echec : les enfants du gate sont verts. Le balayage horaire ( Aucun geste de lane, et un re-push serait nuisible : le plancher se mesure depuis le commit de tete, donc re-pousser le remettrait a zero pour 120 min de plus. C'est ecrit ici pour que le prochain cycle (et le coordinateur) n'ait pas a re-mesurer ce point. Aucune autre reserve n'est levee par ce commentaire. |
|
[INFO] Rouge classé non réparable par la lane — DWELL, et sa levée est en retard (lane Lecture du run du gate ( Les 86 checks sont verts ; le seul motif de rouge est le plancher de merge de 120 min. Ce n'est donc pas un défaut de cette PR et il n'y a rien à corriger ici — d'où le En revanche, la levée annoncée n'est pas arrivée. Le plancher est échu depuis 08:56:06Z ; à 09:55Z la jambe est toujours rouge, soit ~60 min de retard. Mesure du balayage
Le déclencheur Je ne touche pas au workflow : c'est un garde sur |
) Le merge de main (update-branch dd96013) apporte le sweep canonique Tweety de #16002, qui met a jour UN lien de prerequis dans le jumeau python (Tweety-2 -> Tweety-02-Basic-Logics-Python) : blob python_sha deplace, jumeau csharp intact. Audit firsthand du delta : 1 ligne markdown, zero source/output. Re-baseline de la paire seule. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…e (15 git mv, sweep atomique) (#16002) * renum(tweety,#11840): bande 1 padding zero + suffixe noyau canonique (15 git mv) Rollout serie Tweety sous #11840/#5081 : slots 1, 2, 2b, 2c, 6, 7a, 7b, 8, 9. Padding zero (1->01 ... 9->09), suffixe -Python ajoute sur les nus (kernel verifie metadata.kernelspec), casse -Csharp -> -CSharp (canon #11840 ; aligne sur la vague SW livree, cf UNIVERSE test_check_twin_parity_coverage). Aucun changement de contenu pedagogique (protocole renum section 5.6) -- sweep des referents uniquement : README serie + SymbolicAI, navlinks notebooks voisins (Tweety-3x/10/11/12, Argument_Analysis, Lean-3b), twin_pairs.d tweety-*.yaml (chemins ; blobs inchanges, attestations SHA valides), scripts referents Tweety + tests twin coverage, translations/tweety + symbolicai, slides/03 -logique + S6-tweety, _quarto.yml, pedagogy_density_baseline.json. Catalogue byte-identique a main. Tranche ratchet #13140 embarquee : les 13 text=True sans encoding du script de test touche par le sweep (retroactively-clean-by-design). Hors bande (nomme sur l'issue) : collisions Tweety-3 x5 / Tweety-4 x2 (tranche semantique dediee), slots 5x (gate sequencement PR #15980), slots 10/11/12 + IKVM probe (bande 2), branche 7 sans base (reporte). Gardes locaux : check_docs_links 0/7039, navlinks 0/1259, orphelins baseline 0/811, subprocess-encoding gate OK, twin parity a re-Verifier post-commit. See #11840 See #5081 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * chore(twin,#11840): rebaseline 11 paires Tweety (sweep navlinks = blobs evolues) Le sweep de referents de la bande 1 touche les navlinks des notebooks renommes ET de leurs voisins attestes (3, 4, 5, 10, 11) : les 11 attestations suivent l'etat final commite (--update en DERNIER, cf #8957). Verifie : 157 paires, 154 OK, 3 DRIFT pre-existants (#8264). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(tweety,#11840): revert CSVs traductions -- bot-owned hors diff feature Le garde 'No hand-edited translation files' refuse le sweep des CSV derives : la decision #5 du rollout #5081 les laisse hors diff des branches feature. La regen post-merge (quand le hold #10038 leve) refletera les nouveaux chemins depuis les sources FR deja balayees. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(#11840): docstring example uses canonical band-1 notebook name Review #16002 (NanoClaw point 1): the --notebook usage example cited Tweety-1-Setup, a name that no longer exists at head -- the command would fail as written. Sweep residual, in-scope for the atomic rename pass (scripts referents). Only line 37 touched. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(#11840): resync 7 liens Tweety renommes dans docs/curriculum/symbolic-formalization.md Le sweep des referents de la bande 1 avait manque ce fichier : 7 liens du tableau Bloc 1 pointaient vers les anciens noms (Tweety-1-Setup, 2-Basic-Logics, 6, 7a, 7b, 8, 9) -- check-links REGRESSION 7 en CI. Cibles + libelles alignes sur les nouveaux noms canoniques, prose Tweety-1 -> Tweety-01. Garde rejoue en mode CI (--check --base origin/main) : OK, 0 lien casse. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
) Le merge de main (update-branch dd96013) apporte le sweep canonique Tweety de #16002, qui met a jour UN lien de prerequis dans le jumeau python (Tweety-2 -> Tweety-02-Basic-Logics-Python) : blob python_sha deplace, jumeau csharp intact. Audit firsthand du delta : 1 ligne markdown, zero source/output. Re-baseline de la paire seule. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…y-4 on current blobs - tweety-2 0009-po-2023 (09-12) removed: notebook out of diff, attestation redundant with main's 0009-po-2024 (index collision #14911/#15345). - tweety-8 0005-po-2023 (09-12) removed: same redundancy. - tweety-4: 0008-po-2023 removed (index collision with main's 0008-po-2024, posterior keeps the index) and RE-ATTESTED as 0009-2026-09-16 on current blobs (python_sha 5073b3d) via check_twin_parity --update; dated known_differences line added (blob moved by main: #15702 subprocess fix, #16002 renum). Validation: registry integrity 46 passed; twin parity --check --per-pair --base origin/main: 157 pairs, OK=156 INTRO=0 PRE=1 (GameTheory-4c, drift pre-existing on main, outside this PR); validate_pr_notebooks: 6 notebooks 91 code cells all PASS; notebooks touched are markdown-only (escaped pipes in tables). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
) Le merge de main (update-branch dd96013) apporte le sweep canonique Tweety de #16002, qui met a jour UN lien de prerequis dans le jumeau python (Tweety-2 -> Tweety-02-Basic-Logics-Python) : blob python_sha deplace, jumeau csharp intact. Audit firsthand du delta : 1 ligne markdown, zero source/output. Re-baseline de la paire seule. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…ns canoniques (bande 2) (#16243) Politique actée par bande 1 (#16002, merged 6bd2c9a) : « libellé narratif ≠ chemin » -- les libellés décrivent l'unité pédagogique, les hrefs portent le chemin canonique. Bande 2 applique la même règle sur slides/03-logique. Trois corrections ciblées (4 lignes modifiées, 1 fichier, 0 lien cassé) : - L224 [Tweety-2-Basic-Logics](.../Tweety-02-Basic-Logics-Python.ipynb) -> [Tweety-02-Basic-Logics-Python](...) (libellé non padé, href padé par bande 1 : alignement sur le canon) - L1245 + L1308 (doublon) [Tweety-2c-FOL-Csharp](.../Tweety-02c-FOL-CSharp.ipynb) -> [Tweety-02c-FOL-CSharp](...) (libellé sans padding + casse -Csharp, href padé + canon -CSharp) - L1385 [Tweety-6-Structured-Argumentation](.../Tweety-06-Structured-Argumentation-Python.ipynb) -> [Tweety-06-Structured-Argumentation-Python](...) (libellé non padé, href padé à 06 + suffixe Python par bande 1) Les 8 autres mentions Tweety dans ce deck portent déjà libellé = chemin canonique (cohérentes : Tweety-3-{Advanced,QBF,ModalLogic,Conditional}-*, Tweety-4-Belief-Revision, Tweety-5-Abstract-Argumentation). Aucune correction supplémentaire requise. slides/S6-tweety/slides.md : 3 mentions Tweety en texte nu (> **Notebook** : `Tweety-X-...`), pas des liens markdown, donc hors politique libellé/href (pas de href). Non touché par cette PR. Périmètre claim coordinateur (PR #16008, commentaire ai-01 #5674166099 2026-09-15T03:20Z) : paths: slides/03-logique/slides.md, slides/S6-tweety/slides.md. EXCLUT explicitement SymbolicAI/README.md et Tweety/README.md tant que #15942 les collisionne (cf DM msg-20260915T032151-kshxlw). QA visuel : check_notebook_navlinks.py baseline = OK (1279 notebooks, 0 cassé). Le diff est purement cosmétique (3 libellés alignés sur leur href canonique). Diff exact : 1 fichier, +4/-4 (cf Tell c.1170-L1 ★ fondateur). See #16008.
…parity (#15795) * docs(symbolicai,#15719): echapper pipes + lignes vides — tranche jumeaux twin-parity 14 findings du scanner scan_md_table_syntax.py (re-scan apres fix : 0 sur les 8 fichiers). 9 CODE_SPAN_PIPE (O(|G| + |S|), O(n * |regles|), H(target|attr), c || d, f || c || g, FILTER SPARQL, operateurs bit a bit Z3) : 20 pipes echappes internes aux code spans, rendu GFM inchange. 5 NO_BLANK_BEFORE : ligne vide inseree entre l'intro gras et le header de sa table. Markdown-only : 11 cellules markdown de 8 notebooks, verifie cell-by-cell. Attestations twin-parity suivent (commit separe, --update lit HEAD). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * chore(twin-parity,#8057): attestations rebaseline des 8 paires SymbolicAI (#15719) check_twin_parity.py --update --pair x8, postes APRES le commit des notebooks (--update lit git show HEAD:) : SW-4 SPARQL, SL-1, SL-2, SL-3, Tweety-2, Tweety-4, Tweety-8, Z3-Python-03. Drift = fix markdown-only #15719 (echappage pipes + lignes vides), paraphite-preservant. Audit local : 8 paires OK, 3 DRIFT preexistants base (Probas-16, SW-2, SW-7) hors de ce diff. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(twin-registry): desamorcer la collision d'index 0008 sur sw-4-sparql La branche enregistrait 0008-2026-09-12 (audit po-2023) alors que main a merge en parallele 0008-2026-09-13 (audit po-2026, PR #16035) : deux fichiers, meme index, test bloquant test_audit_index_unique_and_no_identical_duplicates_per_pair en rouge (#14911/#15345 -- l'index est la cle de tri du journal). Resolution chronologique : le journal po-2026 (09-13, posterieur au 09-12) passe en 0009 ; le 09-12 reste 0008. Le merge des deux branches a produit un troisieme blob SW-4b qu'aucun journal ne referencait : re-audit de la paire via check_twin_parity --update (0010-2026-09-14, python_sha 7d0b235 = blob fusionne), pour que _latest_audit ne mente pas au prochain --check. Verifie : 46/46 tests d'integrite du registre verts ; --check --per-pair --base origin/main : OK=157 INTRO=0. Grain: MED/ledger — lane myia-po-2023:CoursIA — prev: MED/guard #16193 See #15719 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(twin-registry,#15795): resolve index collisions + re-attest Tweety-4 on current blobs - tweety-2 0009-po-2023 (09-12) removed: notebook out of diff, attestation redundant with main's 0009-po-2024 (index collision #14911/#15345). - tweety-8 0005-po-2023 (09-12) removed: same redundancy. - tweety-4: 0008-po-2023 removed (index collision with main's 0008-po-2024, posterior keeps the index) and RE-ATTESTED as 0009-2026-09-16 on current blobs (python_sha 5073b3d) via check_twin_parity --update; dated known_differences line added (blob moved by main: #15702 subprocess fix, #16002 renum). Validation: registry integrity 46 passed; twin parity --check --per-pair --base origin/main: 157 pairs, OK=156 INTRO=0 PRE=1 (GameTheory-4c, drift pre-existing on main, outside this PR); validate_pr_notebooks: 6 notebooks 91 code cells all PASS; notebooks touched are markdown-only (escaped pipes in tables). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
) Le merge de main (update-branch dd96013) apporte le sweep canonique Tweety de #16002, qui met a jour UN lien de prerequis dans le jumeau python (Tweety-2 -> Tweety-02-Basic-Logics-Python) : blob python_sha deplace, jumeau csharp intact. Audit firsthand du delta : 1 ligne markdown, zero source/output. Re-baseline de la paire seule. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…padding + suffixe noyau, 18 git mv + 2 sweeps) (#16292) * Refactor: padding ICT 1..9 -> 01..09 (tranche A de #11840) 9 git mv + 193 remplacements de referents porteurs de chemin sur 37 fichiers. Zero changement de contenu : le motif ICT-{d}- (tiret apres le chiffre) ne peut pas atteindre la forme nue ICT-2 en prose, ni ICT-10+/ICT-12+. 14 occurrences conservees a dessein (4 fichiers, toutes historiques) : 1 ancre NB_PATH dans scripts/notebook_tools/scan_d5_prose_outputs_alignment.py, 2 dans le test couple scan_d5, 5 dans le releve date scripts/results/arxiv_rescan_2026-09-03.json (record de ce que le rescan a vu ce jour-la ; aucun consommateur) et 6 dans le ledger archive docs/archive/ledgers-reviews/2026-07-11-h4-sweep-6004.md (jamais balaye, hors perimetre du sweep). Le sweep avait rendu muette la contre-epreuve positive du detecteur D5 : NB_PATH pade faisait lever CalledProcessError -> pytest.skip, la suite restait verte avec le controle le plus important neutralise (2 skipped). Corrige : 2 passed. 3 separateurs decoratifs --- -> *** (Tweety-11-Causal, ICT-18b, ICT-Synthese) proviennent du hook pre-commit fix-hr-separator, pas du sweep : etat pre-existant sur main, converti parce que ces notebooks sont stages par cette PR. Markdown seul, aucune re-execution due. check_twin_parity --check : 157 paires, DRIFT=0. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Refactor: suffixe noyau canonique -Python sur ICT 01..09 (tranche A de #11840, decision #16231) Le waiver du suffixe noyau ICT est revoque par decision user (#16231) : le canon <Prefixe>-<num>-<Titre>-<Noyau>.ipynb prime sur le mono-noyau. La tranche A passe de padding seul au nom canonique complet : 9 git mv ICT-0N-<Titre>.ipynb -> ICT-0N-<Titre>-Python.ipynb + sweep des referents porteurs de chemin (36 fichiers, 157 lignes). Diff verifie PUR : chaque ligne changee est l'ancienne avec uniquement des insertions -Python (157/157, zero autre caractere touche) — les cibles accentuees sont intactes par construction mesuree. Formes nues ICT-<1-9> en prose/code/ sorties : non reecrites (etiquettes, mesure 863 occ.). Referents historiques a revision passee (scan_d5, arxiv_rescan, ledger archive docs/archive/ledgers-reviews/2026-07-11-h4-sweep-6004.md) : non touches, grep de garde rend les 4 fichiers/14 occurrences intentionnels (mesure arbre exact 2026-09-16 : 1 + 2 + 5 + 6). Catalogue byte-identique a main. Table canonique posee sur #16231 avant tout git mv (issuecomment-5682013076). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Attestations twin-parity : Probas-5 + Tweety-11 rebaseline apres sweep canonique (#11840) Drift cause et mesure : le sweep -Python (commit precedent) met a jour les liens crois vers ICT-01..09 dans les jumeaux Python (PyMC-05, Infer-5 cote python, Tweety-11) — diff pur, 157/157 lignes = insertions -Python uniquement, aucune autre difference. Audit firsthand du contenu des deux paires fait sur cette mesure. Re-baseline : 157/157 OK, DRIFT=0. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Attestation twin-parity : Tweety-11 re-baseline apres merge main (#16002) Le merge de main (update-branch dd96013) apporte le sweep canonique Tweety de #16002, qui met a jour UN lien de prerequis dans le jumeau python (Tweety-2 -> Tweety-02-Basic-Logics-Python) : blob python_sha deplace, jumeau csharp intact. Audit firsthand du delta : 1 ligne markdown, zero source/output. Re-baseline de la paire seule. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Twin registry : l'attestation 0007 tweety-11 cede son index (tie-break #14911) test_audit_index_unique_and_no_identical_duplicates_per_pair rougissait : 0007-2026-09-13 (po-2024, pose en premier) et 0007-2026-09-15 (moi) coexistaient. Meme tie-break que #16042 : premier index pose, premier servi -- mon attestation devient 0008. Contenu inchange, la cle vit dans le nom. 46/46 tests registry verts. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Fix(twin, #16292): re-attestation unique de la paire tweety-11-causal sur le head Les deux entrées 0008/0009-2026-09-15-myia-po-2027 attestaient le membre C# à un sha intermédiaire (4ba64b10), tandis que po-2026 l'a enrichi le même jour (#16319, 319edb11, entrée 0008 très proche). Collision d'index de journal (test_twin_registry_integrity #14911/#15345) + drift face au blob courant. Rebaseline unique via l'organe (check_twin_parity --update) : 0009-2026-09-16-myia-po-2027-CoursIA.yaml, twine vérifiée au head. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Fix(twin, #16292): renumeroter 0011->0012 probas-5-causal-inference (collision main) Main a recu le 0011-2026-09-16 de po-2025 apres divergence de la branche ; mon 0011-2026-09-15 dupliquait le prefixe (cle de tri du journal, #14911/#15345). Renumerote en 0012, prochain index libre. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Fix(twin, #16292): re-attestation probas-5-causal-inference sur head 814e246 Paire en DRIFT introduit par les modifs des deux cotes (Infer-5 + PyMC-05) ; attestation --update post-commit, blobs HEAD (cf #8957). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
3 participants
Grain: MED/notebook-python — lane myia-po-2024:CoursIA — prev: DEEP/notebook-python #15902
Bande 1 du rollout Tweety — padding zéro + suffixe noyau canonique (#11840 / #5081)
15
git mv, aucun changement de contenu (protocole notebook-accretion-numbering.md §5.6) — sweep des référents uniquement. Mapping complet publié sur l'issue AVANT la PR (§5.5) : issuecomment-5654305690.metadata.kernelspec) :-Pythonsur les nus (01-Setup compris)-Csharp→-CSharp(canon #11840 : « la casse Csharp n'est pas la cible »)Surfaces balayées atomiquement (§6)
SymbolicAI/Tweety/README.md(table + prose) — hunks distincts de la PR ouverte docs(readme,#15521): entree Tweety-5e dans le README de la serie + audit fichier-entier #15980 (entrée 5e), pas de collision de lignesscripts/notebook_tools/twin_pairs.d/tweety-*.yaml— champspython:/csharp:mis au nouveau chemin, et 11 paires re-baselinées par l'organe prescrit (check_twin_parity.py --update --pair,--updateen DERNIER post-normalisation cf twin-parity : l'ordrestrip_probe_banner->check_twin_parity --updaten'est ecrit nulle part, et le rebaseline se fait naturellement trop tot #8957) : le sweep navlinks modifie les blobs des notebooks (renommés + voisins attestés), les attestations SHA devaient suivre. Les 3 DRIFT restants (Probas-16, SW-2, SW-7) sont pré-existants (PR dédiée twin-registry fleet drift — 14 stale pairs block ALL PRs (twin-parity gate broken since merged PRs skip rebaseline) #8057 #8264), non touchés.slides/03-logique/slides.md,slides/S6-tweety/slides.md,_quarto.yml(liste de rendu), scripts référents (Tweety/scripts/*,test_check_twin_parity_coverage.pyUNIVERSE),pedagogy_density_baseline.json(14 clés)No hand-edited translation files— décision création du doscier projet #5 du rollout : bot-owned hors diff feature). Les sources FR (notebooks) sont balayées ; la regen post-merge reflétera les nouveaux chemins quand le hold i18n notebooks : T4 renderer + CI autonome — sortir du moteur qui tourne a vide (mandat user 2026-08-08) #10038 lèvera. Suivi naturel : i18n grain C: moteur CI autonome — detection de desync CSV + auto-commit bot dans la PR #10042.Gardes rejouées localement avant push
check_docs_links.py --check(0/7039) +check_notebook_navlinks.py(0/1259) + orphelins baseline (0/811) +check_subprocess_encoding.py(OK). Twin parity : 157 paires, 3 DRIFT pré-existants seulement.Tranche ratchet #13140 embarquée
Les scripts référents touchés par le sweep rouvrent leur dette au gate
check_subprocess_encoding(retroactively-clean-by-design) : les 13text=Truesansencoding=detest_check_outputs_text_fragmentation.pyreçoiventencoding="utf-8", errors="replace". Aucun autre fichier .py n'a de site nu.Libellés narratifs vs chemins canoniques (décision, review bande 1)
Les libellés de la table README et la prose restent narratifs (numéro court « Tweety-1-Setup », « C# » générique) alors que les hrefs sont canoniques — nom narratif ≠ chemin. Correction de ventilation sur mesure de la review : 7 nus gagnent
-Python(01-Setup compris) et 8 sont recasés-Csharp → -CSharp(7+8=15 ; le mapping de référence fait foi). L'application aux surfaces bande 2 est reportée sciemment : issue de suivi #16008.Hors bande, nommément (postés sur l'issue)
Tweety-07de synthèse serait un acte de contenu — reporté explicitementSéquencement
Aucune PR ouverte ne touche les 15 notebooks (vérifié
gh pr listsur les chemins) ; seule #15980 (README, hunks distincts) coexiste.🤖 Generated with Claude Code